partial model in logic
[计] 逻辑局部模型
热门查询
- Mired v. 使…陷于泥泞，使…陷入困境（mire的过去式）
- farrago n. 混杂物；混杂
- dicker n. 小生意；十张；十个 vi. 易货；做小生意；讨价还价 n. (Dicker)人名；(英、德、匈)迪克尔
- redwing n. （欧洲产的）红翼鸫
- sear n. 烙印；烧焦痕迹 n. (Sear)人名；(英)西尔 adj. 枯萎的；烤焦的 vt. 烤焦；使…枯萎 vi. 干枯；烧焦；凋谢
- transcultural adj. 跨文化的；涉及多种文化的；交叉文化的
- boogie n. 黑人 vi. 摆动身体（过去式boogied，过去分词boogied，现在分词boogying，第三人称单数boogies）
- fallacy n. 谬论，谬误
- pylorus n. [解剖] 幽门
- encina n. 栎木
- Alphonse n. 阿方斯(Alphonso的异体)(m.)
- rectifier n. [电] 整流器；改正者，矫正者
- baddie n. （美俚）坏人；（尤指小说、电影等中的）反派角色
- unmasking n. 揭露 v. 脱去假面具；暴露（unmask的ing形式）
- posted v. 贴出；通告（post的过去分词）；布置 adj. 有地位的；被通报的
- Rafiq n. (Rafiq)人名；(伊朗、阿富、巴基、阿拉伯、阿塞)拉菲克
- Lerner n. (Lerner)人名；(英)勒纳；(德、匈、罗、捷、俄)莱纳；(西)莱内尔
- mont abbr. montane 山地森林
- mycotoxin n. 霉菌毒素，真菌毒素；毒枝菌素
- whence conj. 由此 n. 根源 pron. 何处 adv. 从何处
